基于三角模的模糊描述逻辑扩展研究

【摘要】描述逻辑是一阶逻辑的可判定子集,它被认为是语义网的本体语言,因此对描述逻辑进行研究是语义网得以实现的保证.而模糊描述逻辑赋予其更丰富的适用范围,满足了人们在实际应用中处理模糊信息的需求.Zadeh提出的模糊集理论,为解决带有模糊性及不分明的问题提供了有效的工具.不同的研究者从不同的方面对模糊描述逻辑进行了研究,取得了一系列的研究成果,为后续的研究打下了坚实的基础.本文在以往研究成果的基础上,总结已得的研究结论,并分析在模糊描述逻辑的扩展研究方面存在的内容及研究方法上的不足.进而,提出相应的新的扩展研究.主要考虑和解决了以下几方面的问题:1.研究基于R0算子(修正的Kleene蕴涵)的模糊描述逻辑,增加了新的解释,增添了新的规则,使得新的系统可以完成基本的推理任务.给出了它的语法,语义和知识库形式,并给出了对应的推理算法.2.研究基于左连续三角模的模糊描述逻辑,将左连续三角模具有的特殊性质与描述逻辑结合起来进行研究,分析两种理论相结合所形成的新的系统.同时,给出了相应的推理算法,得到一些基于左连续三角模的模糊描述逻辑所具有的特殊性质.3.分析几种扩展的模糊描述逻辑之间的联系,使得研究者对于模糊描述逻辑的扩展有据可循,为今后的研究工作提供一些可参考的标准.最后,从不同的角度分析,概括出众多扩展的异同点,并提出在扩展中应该共同遵循的一般规则.
【作者】邱晓春；
【导师】裴道武；
【作者基本信息】浙江理工大学，基础数学，2014，硕士
【关键词】模糊描述逻辑；左连续三角模；R0蕴涵算子；Tableau算法；

【参考文献】
[1]缪悦.建行湖南省分行中间业务经营战略研究[D].中南大学,2004.
[2]时梦.微型2D数字伺服阀的设计及研究[D].浙江工业大学,机械电子工程,2012,硕士.
[3]方晓颖.微波人体心动信号的研究[D].华东师范大学,无线电物理,2004,硕士.
[4]张新学,王桂增,大町真一郎,阿曾弘具.自学习模糊逻辑推理网络及模糊控制器的构成[J].自动化学报,1999,05:687-691.
[5]徐丹丹.指定居所监视居住制度研究[D].浙江工商大学,诉讼法学,2013,硕士.
[6]王磊.盐胁迫下菊芋幼苗对水杨酸和氮素生理响应的研究[D].南京农业大学,海洋生物学,2011,硕士.
[7]胡涛.术侧肺辅助小潮气量IPPV对老年食管癌患者单肺通气时氧合的影响[D].河北医科大学,麻醉学,2013,硕士.
[8]赵彩亮.萘酚喹衍生物的筛选与药效评价[D].大理学院,病原生物学,2013,硕士.
[9]徐雄,王锁萍,曹磊.联机增量聚类算法研究[J].南京邮电学院学报,2004,04:17-19.
[10]宋家琪.新型快速灵敏量子点红外探测器的研制[D].华中科技大学,微电子学与固体电子学,2013,硕士.
[11]范守荣.电子商务环境下企业MIS构架及其集成实现研究[D].西南石油学院,2004.
[12]陈俊卿.无线通信系统中的干扰协调技术研究[D].南京邮电大学,信号与信息处理,2013,硕士.
[13]彭奇志.图书馆数据仓库模型的研究[J].现代情报,2005,01:106-107+110.
[14]刘娇,杨晓伟.LiMn_(1/3)Ni_(1/3)Co_(1/3)O_2表面混合修饰的改性研究[J].电池,2014,05:286-289.
[15]巨瑜芳.基于NMF算法的文本聚类研究[D].中国矿业大学,计算机应用技术,2014,硕士.
[16]王乐.专用高速喷墨打印机喷头驱动电路的设计与实现[D].西安电子科技大学,计算机系统结构,2012,硕士.
[17]黄芳.一遇康德悟此生[D].西南大学,文艺学,2013,硕士.
[18]纪希.朱元璋社会管理思想及实践[D].西南大学,中国史,2013,硕士.
[19]朱喜峰.市场经济下红色文化传承研究[D].南昌航空大学,思想政治教育,2012,硕士.
[20]张金.RV减速器传动精度的研究[D].哈尔滨理工大学,机械设计及理论,2013,硕士.
[21]庞尔平.人脸识别中基于稀疏降维方法的研究[D].吉林大学,计算机应用技术,2013,硕士.
[22]沈亚,李洪革,管俊亚,王云波,陈海清,李艳明,王光华,屈燕薇.柴西地区古近系—新近系含油凹陷构造特征与勘探领域[J].石油地球物理勘探,2012,S1:111-117+168+162.
[23]杨洪晓,张金屯,吴波,李晓松,张友炎.毛乌素沙地油蒿种群点格局分析[J].植物生态学报,2006,04:563-570.
[24]王娟.雌性大鼠尿道括约肌损伤修复过程中机械生长因子的表达[D].山西医科大学,妇产科学,2013,硕士.
[25]邓鑫洋.基于多源信息融合的跨膜蛋白拓扑预测研究[D].西南大学,计算机应用技术,2013,硕士.
[26]史建宜.基于PKI的信息安全交换套件研究与应用[D].北方工业大学,计算机软件与理论,2014,硕士.
[27]曾俏慧.斑马鱼小maf的时空表达分析及其在血红素调控胰外分泌酶原基因表达中的作用研究[D].华中师范大学,动物学,2014,硕士.
[28]陈柳姣.三版《图画展览会》“漫步主题”配器比较研究[D].武汉音乐学院,音乐与舞蹈学,2013,硕士.
[29]贾元鹏.债券投资的理论和实证研究[D].吉林大学,国民经济学,2004,硕士.
[30]王敏.重载列车荷载下路基长期累积变形损伤特性研究[D].哈尔滨工业大学,岩土工程,2014,硕士.
[31]胡胜波.民间借贷的法律问题研究[D].大连海事大学,法律,2012,硕士.
[32]陈天飞,马孜,吴翔,吴德烽.摄像机镜头畸变的鲁棒校正方法[J].控制与决策,2013,03:461-465.
[33]温泽民.大长山海洋牧场拟建海域生态环境评价研究[D].大连海洋大学,渔业资源,2014,硕士.
[34]陈春颖.土壤源热泵系统水泵变流量控制方式的研究[D].西安建筑科技大学,建筑与土木工程,2013,硕士.
[35]张祥洲.POSS插层累托石/橡胶复合材料结构及性能的研究[D].宁波大学,物理化学,2014,硕士.
[36]唐功友,刘毅敏.时滞离散系统最优输出跟踪控制的灵敏度法[J].控制与决策,2005,11:81-84+88.
[37]吴茜.基于“一点就通”网络的初中物理教学研究[D].苏州大学,学科教学（专业学位）,2013,硕士.
[38]范尧.黄连降脂合剂对冠心病痰瘀互结证患者颈动脉粥样斑块IMT值及CRP的临床观察[D].湖北中医药大学,中西医结合临床（专业学位）,2013,硕士.
[39]王忠凯.直流测深和激电测深共轭梯度三维反演研究[D].中国地质大学（北京）,地球物理学,2013,硕士.
[40]韩基文.论宽严相济刑事政策[D].大连海事大学,法律,2012,硕士.
[41]李珺.多足机器人步态规划及自适应控制研究[D].东北大学,模式识别与智能系统,2011,硕士.
[42]张文凤.当代我国女大学生价值观教育研究[D].湖南师范大学,高等教育学,2014,硕士.
[43]李洪滨.小型风力发电系统集风装置及其性能研究[D].宁波大学,机械电子工程,2013,硕士.
[44]傅哲.团膳企业战略管理研究[D].西南交通大学,工商管理,2012,硕士.
[45]郑立春.新型抽油机节能机理研究及优化设计[D].天津理工大学,机械电子工程,2013,硕士.
[46]肖运海.求解非线性无约束优化问题的两种方法的研究[D].广西大学,应用数学,2004,硕士.
[47]王辉.全聚合物波分复用型光波导器件的研制[D].吉林大学,微电子学与固体电子学,2013,硕士.
[48]闫清波,胜献雷,郑庆荣,苏刚.硼富勒烯及其相关结构研究进展[J].中国科学:物理学力学天文学,2011,01:29-48.
[49]陈言.新民诉法语境下对恶意诉讼的规制[D].苏州大学,法律（专业学位）,2014,硕士.
[50]章亮.硫系基质二维光子晶体波导结构设计与制备研究[D].宁波大学,通信与信息系统,2014,硕士.